<?php

//class myUser extends sfBasicSecurityUser
class myUser extends sfBasicSecurityUser
{
}
